a graphical representation of a program using formal logic
औपचारिक तर्क के प्रयोग से एक कार्यक्रम का एक चित्रमय प्रतिनिधित्व